body {
	font-family: "Lucida Grande", Lucida, Verdana, sans-serif;
	margin: 0;
	padding: 0;
}

p.title
{
	font-weight: bold;
	background-color: #ccc;
	padding: 1em;
	border-bottom: thin solid #666;
}

div.description
{
	background-color: #e6e6e6;
	border: thin dashed #999;
	margin: 1em;
	padding: 0.5em;
	font-size: smaller;
}

div.node
{
	background-color: rgba(0,0,0,0.05);
	margin: 1em;
	padding: 0.5em;
	font-size: medium;
	border: thin dashed rgba(0,0,0,0.2);
}

p.sensor
{
	margin: 0;
	padding: 0;
	font-weight: bold;
}

p.value
{
	padding: 0;
	margin: 0;
	color: #820000;
}

a, a:visited
{
	padding: 0;
	margin: 0;
	color: #820000;
	text-decoration: none;
}

p.prediction
{
	color: #003f80;
}

p.data
{
	margin: 0;
	padding: 0;
	font-style: italic;
	font-size: smaller;
}